extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC10).1C22 = (C2xC4).D20 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).1C2^2 | 320,35 |
(Q8xC10).2C22 = (C2xQ8).D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8- | (Q8xC10).2C2^2 | 320,36 |
(Q8xC10).3C22 = C42.Dic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).3C2^2 | 320,100 |
(Q8xC10).4C22 = C42.3Dic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).4C2^2 | 320,106 |
(Q8xC10).5C22 = D5xC4.10D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8- | (Q8xC10).5C2^2 | 320,377 |
(Q8xC10).6C22 = M4(2).21D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).6C2^2 | 320,378 |
(Q8xC10).7C22 = D20.4D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8- | (Q8xC10).7C2^2 | 320,379 |
(Q8xC10).8C22 = D20.5D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).8C2^2 | 320,380 |
(Q8xC10).9C22 = D20.6D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).9C2^2 | 320,381 |
(Q8xC10).10C22 = D20.7D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 8- | (Q8xC10).10C2^2 | 320,382 |
(Q8xC10).11C22 = Dic5:7SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).11C2^2 | 320,415 |
(Q8xC10).12C22 = C5:Q16:5C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).12C2^2 | 320,416 |
(Q8xC10).13C22 = Dic5:4Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).13C2^2 | 320,417 |
(Q8xC10).14C22 = Q8:Dic10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).14C2^2 | 320,418 |
(Q8xC10).15C22 = Dic5.3Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).15C2^2 | 320,419 |
(Q8xC10).16C22 = Dic5:Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).16C2^2 | 320,420 |
(Q8xC10).17C22 = Dic5.9Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).17C2^2 | 320,421 |
(Q8xC10).18C22 = Q8:C4:D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).18C2^2 | 320,422 |
(Q8xC10).19C22 = Q8.Dic10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).19C2^2 | 320,423 |
(Q8xC10).20C22 = C40:8C4.C2 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).20C2^2 | 320,424 |
(Q8xC10).21C22 = Dic10.11D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).21C2^2 | 320,425 |
(Q8xC10).22C22 = Q8.2Dic10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).22C2^2 | 320,426 |
(Q8xC10).23C22 = Q8:Dic5:C2 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).23C2^2 | 320,427 |
(Q8xC10).24C22 = D5xQ8:C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).24C2^2 | 320,428 |
(Q8xC10).25C22 = (Q8xD5):C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).25C2^2 | 320,429 |
(Q8xC10).26C22 = Q8:(C4xD5) | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).26C2^2 | 320,430 |
(Q8xC10).27C22 = Q8:2D5:C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).27C2^2 | 320,431 |
(Q8xC10).28C22 = D10.11SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).28C2^2 | 320,432 |
(Q8xC10).29C22 = Q8:2D20 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).29C2^2 | 320,433 |
(Q8xC10).30C22 = D10:2SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).30C2^2 | 320,434 |
(Q8xC10).31C22 = D10:4Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).31C2^2 | 320,435 |
(Q8xC10).32C22 = D10.7Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).32C2^2 | 320,436 |
(Q8xC10).33C22 = Q8.D20 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).33C2^2 | 320,437 |
(Q8xC10).34C22 = D20:4D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).34C2^2 | 320,438 |
(Q8xC10).35C22 = C5:(C8:D4) | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).35C2^2 | 320,439 |
(Q8xC10).36C22 = D10:Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).36C2^2 | 320,440 |
(Q8xC10).37C22 = (C2xC8).D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).37C2^2 | 320,441 |
(Q8xC10).38C22 = D10:1C8.C2 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).38C2^2 | 320,442 |
(Q8xC10).39C22 = C5:2C8.D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).39C2^2 | 320,443 |
(Q8xC10).40C22 = Q8:D5:6C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).40C2^2 | 320,444 |
(Q8xC10).41C22 = Dic5:SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).41C2^2 | 320,445 |
(Q8xC10).42C22 = D20.12D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).42C2^2 | 320,446 |
(Q8xC10).43C22 = C22:Q8.D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).43C2^2 | 320,670 |
(Q8xC10).44C22 = (C2xC10).Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).44C2^2 | 320,671 |
(Q8xC10).45C22 = C10.(C4oD8) | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).45C2^2 | 320,672 |
(Q8xC10).46C22 = D20.37D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).46C2^2 | 320,674 |
(Q8xC10).47C22 = C5:2C8:24D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).47C2^2 | 320,675 |
(Q8xC10).48C22 = C22:Q8:D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).48C2^2 | 320,676 |
(Q8xC10).49C22 = Dic10.37D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).49C2^2 | 320,677 |
(Q8xC10).50C22 = (C2xC10):Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).50C2^2 | 320,678 |
(Q8xC10).51C22 = C5:(C8.D4) | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).51C2^2 | 320,679 |
(Q8xC10).52C22 = C42.61D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).52C2^2 | 320,681 |
(Q8xC10).53C22 = C42.62D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).53C2^2 | 320,682 |
(Q8xC10).54C22 = C42.213D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).54C2^2 | 320,683 |
(Q8xC10).55C22 = D20.23D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).55C2^2 | 320,684 |
(Q8xC10).56C22 = C42.64D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).56C2^2 | 320,685 |
(Q8xC10).57C22 = C42.214D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).57C2^2 | 320,686 |
(Q8xC10).58C22 = C42.65D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).58C2^2 | 320,687 |
(Q8xC10).59C22 = D20.14D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).59C2^2 | 320,689 |
(Q8xC10).60C22 = C20.Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).60C2^2 | 320,708 |
(Q8xC10).61C22 = C42.77D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).61C2^2 | 320,709 |
(Q8xC10).62C22 = C20:5SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).62C2^2 | 320,710 |
(Q8xC10).63C22 = C20:6SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).63C2^2 | 320,712 |
(Q8xC10).64C22 = C42.80D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).64C2^2 | 320,713 |
(Q8xC10).65C22 = C20:Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).65C2^2 | 320,717 |
(Q8xC10).66C22 = C20:3Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).66C2^2 | 320,719 |
(Q8xC10).67C22 = D20.15D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).67C2^2 | 320,722 |
(Q8xC10).68C22 = SD16xDic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).68C2^2 | 320,788 |
(Q8xC10).69C22 = Dic5:3SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).69C2^2 | 320,789 |
(Q8xC10).70C22 = Dic5:5SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).70C2^2 | 320,790 |
(Q8xC10).71C22 = SD16:Dic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).71C2^2 | 320,791 |
(Q8xC10).72C22 = (C5xD4).D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).72C2^2 | 320,792 |
(Q8xC10).73C22 = (C5xQ8).D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).73C2^2 | 320,793 |
(Q8xC10).74C22 = C40.31D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).74C2^2 | 320,794 |
(Q8xC10).75C22 = C40.43D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).75C2^2 | 320,795 |
(Q8xC10).76C22 = D10:8SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).76C2^2 | 320,797 |
(Q8xC10).77C22 = C40:14D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).77C2^2 | 320,798 |
(Q8xC10).78C22 = D20:7D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).78C2^2 | 320,799 |
(Q8xC10).79C22 = Dic10.16D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).79C2^2 | 320,800 |
(Q8xC10).80C22 = C40:8D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).80C2^2 | 320,801 |
(Q8xC10).81C22 = C40:15D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).81C2^2 | 320,802 |
(Q8xC10).82C22 = C40:9D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).82C2^2 | 320,803 |
(Q8xC10).83C22 = C40.44D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).83C2^2 | 320,804 |
(Q8xC10).84C22 = C40.26D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).84C2^2 | 320,808 |
(Q8xC10).85C22 = Dic5:3Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).85C2^2 | 320,809 |
(Q8xC10).86C22 = Q16xDic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).86C2^2 | 320,810 |
(Q8xC10).87C22 = Q16:Dic5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).87C2^2 | 320,811 |
(Q8xC10).88C22 = (C2xQ16):D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).88C2^2 | 320,812 |
(Q8xC10).89C22 = D10:5Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).89C2^2 | 320,813 |
(Q8xC10).90C22 = D20.17D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).90C2^2 | 320,814 |
(Q8xC10).91C22 = D10:3Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).91C2^2 | 320,815 |
(Q8xC10).92C22 = C40.36D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).92C2^2 | 320,816 |
(Q8xC10).93C22 = C40.37D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).93C2^2 | 320,817 |
(Q8xC10).94C22 = C40.28D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).94C2^2 | 320,818 |
(Q8xC10).95C22 = C40.29D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 4 | (Q8xC10).95C2^2 | 320,819 |
(Q8xC10).96C22 = M4(2).15D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).96C2^2 | 320,830 |
(Q8xC10).97C22 = M4(2).16D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 8- | (Q8xC10).97C2^2 | 320,831 |
(Q8xC10).98C22 = D20.40D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8- | (Q8xC10).98C2^2 | 320,832 |
(Q8xC10).99C22 = 2- 1+4:2D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8+ | (Q8xC10).99C2^2 | 320,872 |
(Q8xC10).100C22 = 2- 1+4.2D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 8- | (Q8xC10).100C2^2 | 320,873 |
(Q8xC10).101C22 = (Q8xDic5):C2 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).101C2^2 | 320,1294 |
(Q8xC10).102C22 = C10.502+ 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).102C2^2 | 320,1295 |
(Q8xC10).103C22 = C22:Q8:25D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).103C2^2 | 320,1296 |
(Q8xC10).104C22 = C10.152- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).104C2^2 | 320,1297 |
(Q8xC10).105C22 = C10.162- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).105C2^2 | 320,1300 |
(Q8xC10).106C22 = C10.172- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).106C2^2 | 320,1301 |
(Q8xC10).107C22 = D20:22D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).107C2^2 | 320,1303 |
(Q8xC10).108C22 = Dic10:21D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).108C2^2 | 320,1304 |
(Q8xC10).109C22 = Dic10:22D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).109C2^2 | 320,1305 |
(Q8xC10).110C22 = C10.1182+ 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).110C2^2 | 320,1307 |
(Q8xC10).111C22 = C10.522+ 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).111C2^2 | 320,1308 |
(Q8xC10).112C22 = C10.202- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).112C2^2 | 320,1310 |
(Q8xC10).113C22 = C10.212- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).113C2^2 | 320,1311 |
(Q8xC10).114C22 = C10.222- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).114C2^2 | 320,1312 |
(Q8xC10).115C22 = C10.232- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).115C2^2 | 320,1313 |
(Q8xC10).116C22 = C10.772- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).116C2^2 | 320,1314 |
(Q8xC10).117C22 = C10.242- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).117C2^2 | 320,1315 |
(Q8xC10).118C22 = C10.572+ 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).118C2^2 | 320,1317 |
(Q8xC10).119C22 = C10.582+ 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).119C2^2 | 320,1318 |
(Q8xC10).120C22 = C10.262- 1+4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).120C2^2 | 320,1319 |
(Q8xC10).121C22 = C42.233D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).121C2^2 | 320,1340 |
(Q8xC10).122C22 = C42.137D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).122C2^2 | 320,1341 |
(Q8xC10).123C22 = C42.138D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).123C2^2 | 320,1342 |
(Q8xC10).124C22 = C42.139D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).124C2^2 | 320,1343 |
(Q8xC10).125C22 = C42.140D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).125C2^2 | 320,1344 |
(Q8xC10).126C22 = C42.141D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).126C2^2 | 320,1347 |
(Q8xC10).127C22 = Dic10:10D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).127C2^2 | 320,1349 |
(Q8xC10).128C22 = C42.234D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).128C2^2 | 320,1352 |
(Q8xC10).129C22 = C42.143D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).129C2^2 | 320,1353 |
(Q8xC10).130C22 = C42.144D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).130C2^2 | 320,1354 |
(Q8xC10).131C22 = C42.145D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).131C2^2 | 320,1356 |
(Q8xC10).132C22 = Dic10:8Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).132C2^2 | 320,1393 |
(Q8xC10).133C22 = Dic10:9Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).133C2^2 | 320,1394 |
(Q8xC10).134C22 = D5xC4:Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).134C2^2 | 320,1395 |
(Q8xC10).135C22 = C42.171D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).135C2^2 | 320,1396 |
(Q8xC10).136C22 = C42.240D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).136C2^2 | 320,1397 |
(Q8xC10).137C22 = D20:12D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).137C2^2 | 320,1398 |
(Q8xC10).138C22 = D20:8Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).138C2^2 | 320,1399 |
(Q8xC10).139C22 = C42.241D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).139C2^2 | 320,1400 |
(Q8xC10).140C22 = C42.174D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).140C2^2 | 320,1401 |
(Q8xC10).141C22 = D20:9Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).141C2^2 | 320,1402 |
(Q8xC10).142C22 = C42.176D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).142C2^2 | 320,1403 |
(Q8xC10).143C22 = C42.177D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).143C2^2 | 320,1404 |
(Q8xC10).144C22 = C42.178D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).144C2^2 | 320,1405 |
(Q8xC10).145C22 = C42.179D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).145C2^2 | 320,1406 |
(Q8xC10).146C22 = C42.180D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).146C2^2 | 320,1407 |
(Q8xC10).147C22 = C2xSD16:D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).147C2^2 | 320,1432 |
(Q8xC10).148C22 = C2xSD16:3D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).148C2^2 | 320,1433 |
(Q8xC10).149C22 = C2xD5xQ16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).149C2^2 | 320,1435 |
(Q8xC10).150C22 = C2xQ16:D5 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).150C2^2 | 320,1436 |
(Q8xC10).151C22 = C2xQ8.D10 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).151C2^2 | 320,1437 |
(Q8xC10).152C22 = D20.30D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 4 | (Q8xC10).152C2^2 | 320,1438 |
(Q8xC10).153C22 = D20.44D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 8- | (Q8xC10).153C2^2 | 320,1451 |
(Q8xC10).154C22 = D20.35C23 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 8- | (Q8xC10).154C2^2 | 320,1510 |
(Q8xC10).155C22 = C5xC42.C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).155C2^2 | 320,160 |
(Q8xC10).156C22 = C5xC42.3C4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).156C2^2 | 320,161 |
(Q8xC10).157C22 = C5xD4.8D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).157C2^2 | 320,955 |
(Q8xC10).158C22 = C5xD4.10D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).158C2^2 | 320,957 |
(Q8xC10).159C22 = C5xD4.D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).159C2^2 | 320,962 |
(Q8xC10).160C22 = C5xC4:2Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).160C2^2 | 320,963 |
(Q8xC10).161C22 = C5xD4.2D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).161C2^2 | 320,964 |
(Q8xC10).162C22 = C5xQ8.D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).162C2^2 | 320,965 |
(Q8xC10).163C22 = C5xC8:8D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).163C2^2 | 320,966 |
(Q8xC10).164C22 = C5xC8.18D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).164C2^2 | 320,968 |
(Q8xC10).165C22 = C5xC8:D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).165C2^2 | 320,969 |
(Q8xC10).166C22 = C5xC8.D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).166C2^2 | 320,971 |
(Q8xC10).167C22 = C5xD4.3D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).167C2^2 | 320,972 |
(Q8xC10).168C22 = C5xD4.5D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 4 | (Q8xC10).168C2^2 | 320,974 |
(Q8xC10).169C22 = C5xC23.47D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).169C2^2 | 320,984 |
(Q8xC10).170C22 = C5xC23.48D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).170C2^2 | 320,985 |
(Q8xC10).171C22 = C5xC23.20D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).171C2^2 | 320,986 |
(Q8xC10).172C22 = C5xC4.SD16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).172C2^2 | 320,988 |
(Q8xC10).173C22 = C5xC42.78C22 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).173C2^2 | 320,989 |
(Q8xC10).174C22 = C5xC42.28C22 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).174C2^2 | 320,990 |
(Q8xC10).175C22 = C5xC42.30C22 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).175C2^2 | 320,992 |
(Q8xC10).176C22 = C5xC8:5D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).176C2^2 | 320,993 |
(Q8xC10).177C22 = C5xC4:Q16 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).177C2^2 | 320,995 |
(Q8xC10).178C22 = C5xC8.12D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).178C2^2 | 320,996 |
(Q8xC10).179C22 = C5xC8:3D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).179C2^2 | 320,997 |
(Q8xC10).180C22 = C5xC8.2D4 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).180C2^2 | 320,998 |
(Q8xC10).181C22 = C5xC22.33C24 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).181C2^2 | 320,1541 |
(Q8xC10).182C22 = C5xC22.36C24 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).182C2^2 | 320,1544 |
(Q8xC10).183C22 = C5xC23.41C23 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).183C2^2 | 320,1546 |
(Q8xC10).184C22 = C5xD4:3Q8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).184C2^2 | 320,1556 |
(Q8xC10).185C22 = C5xC22.49C24 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).185C2^2 | 320,1557 |
(Q8xC10).186C22 = C5xQ82 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 320 | | (Q8xC10).186C2^2 | 320,1560 |
(Q8xC10).187C22 = C5xC22.56C24 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).187C2^2 | 320,1564 |
(Q8xC10).188C22 = C5xC22.57C24 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | | (Q8xC10).188C2^2 | 320,1565 |
(Q8xC10).189C22 = C5xQ8oD8 | φ: C22/C1 → C22 ⊆ Out Q8xC10 | 160 | 4 | (Q8xC10).189C2^2 | 320,1580 |
(Q8xC10).190C22 = C20.48SD16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).190C2^2 | 320,647 |
(Q8xC10).191C22 = C20.23Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).191C2^2 | 320,648 |
(Q8xC10).192C22 = Q8.3Dic10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).192C2^2 | 320,649 |
(Q8xC10).193C22 = C4xQ8:D5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).193C2^2 | 320,652 |
(Q8xC10).194C22 = C42.56D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).194C2^2 | 320,653 |
(Q8xC10).195C22 = Q8:D20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).195C2^2 | 320,654 |
(Q8xC10).196C22 = Q8.1D20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).196C2^2 | 320,655 |
(Q8xC10).197C22 = C4xC5:Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).197C2^2 | 320,656 |
(Q8xC10).198C22 = C42.59D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).198C2^2 | 320,657 |
(Q8xC10).199C22 = C20:7Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).199C2^2 | 320,658 |
(Q8xC10).200C22 = C2xQ8:Dic5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).200C2^2 | 320,851 |
(Q8xC10).201C22 = (Q8xC10):16C4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).201C2^2 | 320,852 |
(Q8xC10).202C22 = C2xC20.10D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).202C2^2 | 320,853 |
(Q8xC10).203C22 = (C5xQ8):13D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).203C2^2 | 320,854 |
(Q8xC10).204C22 = (C2xC10):8Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).204C2^2 | 320,855 |
(Q8xC10).205C22 = C4oD4:Dic5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).205C2^2 | 320,859 |
(Q8xC10).206C22 = C20.(C2xD4) | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).206C2^2 | 320,860 |
(Q8xC10).207C22 = (D4xC10).29C4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).207C2^2 | 320,864 |
(Q8xC10).208C22 = (C5xD4):14D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).208C2^2 | 320,865 |
(Q8xC10).209C22 = (C5xD4).32D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).209C2^2 | 320,866 |
(Q8xC10).210C22 = Q8xDic10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).210C2^2 | 320,1238 |
(Q8xC10).211C22 = Dic10:10Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).211C2^2 | 320,1239 |
(Q8xC10).212C22 = C42.122D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).212C2^2 | 320,1240 |
(Q8xC10).213C22 = Q8:5Dic10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).213C2^2 | 320,1241 |
(Q8xC10).214C22 = Q8:6Dic10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).214C2^2 | 320,1242 |
(Q8xC10).215C22 = C4xQ8xD5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).215C2^2 | 320,1243 |
(Q8xC10).216C22 = C42.125D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).216C2^2 | 320,1244 |
(Q8xC10).217C22 = C4xQ8:2D5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).217C2^2 | 320,1245 |
(Q8xC10).218C22 = C42.126D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).218C2^2 | 320,1246 |
(Q8xC10).219C22 = Q8xD20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).219C2^2 | 320,1247 |
(Q8xC10).220C22 = Q8:5D20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).220C2^2 | 320,1248 |
(Q8xC10).221C22 = Q8:6D20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).221C2^2 | 320,1249 |
(Q8xC10).222C22 = C42.232D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).222C2^2 | 320,1250 |
(Q8xC10).223C22 = D20:10Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).223C2^2 | 320,1251 |
(Q8xC10).224C22 = C42.131D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).224C2^2 | 320,1252 |
(Q8xC10).225C22 = C42.132D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).225C2^2 | 320,1253 |
(Q8xC10).226C22 = C42.133D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).226C2^2 | 320,1254 |
(Q8xC10).227C22 = C42.134D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).227C2^2 | 320,1255 |
(Q8xC10).228C22 = C42.135D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).228C2^2 | 320,1256 |
(Q8xC10).229C22 = C42.136D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).229C2^2 | 320,1257 |
(Q8xC10).230C22 = C22xC5:Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).230C2^2 | 320,1481 |
(Q8xC10).231C22 = C2xDic5:Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).231C2^2 | 320,1482 |
(Q8xC10).232C22 = C2xQ8xDic5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).232C2^2 | 320,1483 |
(Q8xC10).233C22 = C10.422- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).233C2^2 | 320,1484 |
(Q8xC10).234C22 = Q8xC5:D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).234C2^2 | 320,1487 |
(Q8xC10).235C22 = C10.442- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).235C2^2 | 320,1488 |
(Q8xC10).236C22 = C10.452- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).236C2^2 | 320,1489 |
(Q8xC10).237C22 = C2xD4.8D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).237C2^2 | 320,1493 |
(Q8xC10).238C22 = C2xD4.9D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).238C2^2 | 320,1495 |
(Q8xC10).239C22 = C10.1042- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).239C2^2 | 320,1496 |
(Q8xC10).240C22 = C10.1052- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).240C2^2 | 320,1497 |
(Q8xC10).241C22 = C4oD4xDic5 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).241C2^2 | 320,1498 |
(Q8xC10).242C22 = C10.1062- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).242C2^2 | 320,1499 |
(Q8xC10).243C22 = C10.1072- 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).243C2^2 | 320,1503 |
(Q8xC10).244C22 = (C2xC20):17D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).244C2^2 | 320,1504 |
(Q8xC10).245C22 = C10.1472+ 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).245C2^2 | 320,1505 |
(Q8xC10).246C22 = C10.1482+ 1+4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).246C2^2 | 320,1506 |
(Q8xC10).247C22 = C2xD4.10D10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).247C2^2 | 320,1620 |
(Q8xC10).248C22 = C10xC4.10D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).248C2^2 | 320,913 |
(Q8xC10).249C22 = C5xM4(2).8C22 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10).249C2^2 | 320,914 |
(Q8xC10).250C22 = C10xQ8:C4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).250C2^2 | 320,916 |
(Q8xC10).251C22 = C5xC23.24D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).251C2^2 | 320,917 |
(Q8xC10).252C22 = C5xC23.36D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).252C2^2 | 320,918 |
(Q8xC10).253C22 = C5xC23.38D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).253C2^2 | 320,920 |
(Q8xC10).254C22 = SD16xC20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).254C2^2 | 320,939 |
(Q8xC10).255C22 = Q16xC20 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).255C2^2 | 320,940 |
(Q8xC10).256C22 = C5xSD16:C4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).256C2^2 | 320,941 |
(Q8xC10).257C22 = C5xQ16:C4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).257C2^2 | 320,942 |
(Q8xC10).258C22 = C5xQ8:D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).258C2^2 | 320,949 |
(Q8xC10).259C22 = C5xD4:D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).259C2^2 | 320,950 |
(Q8xC10).260C22 = C5xC22:Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).260C2^2 | 320,952 |
(Q8xC10).261C22 = C5xD4.7D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).261C2^2 | 320,953 |
(Q8xC10).262C22 = C5xC4:SD16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).262C2^2 | 320,961 |
(Q8xC10).263C22 = C5xQ8:Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).263C2^2 | 320,976 |
(Q8xC10).264C22 = C5xC4.Q16 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).264C2^2 | 320,978 |
(Q8xC10).265C22 = C5xQ8.Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).265C2^2 | 320,980 |
(Q8xC10).266C22 = C5xC23.36C23 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).266C2^2 | 320,1531 |
(Q8xC10).267C22 = C10xC4:Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).267C2^2 | 320,1533 |
(Q8xC10).268C22 = C5xC22.26C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).268C2^2 | 320,1534 |
(Q8xC10).269C22 = C5xC23.37C23 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).269C2^2 | 320,1535 |
(Q8xC10).270C22 = C5xC23.38C23 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).270C2^2 | 320,1538 |
(Q8xC10).271C22 = C5xC22.31C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).271C2^2 | 320,1539 |
(Q8xC10).272C22 = C5xC22.35C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).272C2^2 | 320,1543 |
(Q8xC10).273C22 = C5xD4:6D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).273C2^2 | 320,1549 |
(Q8xC10).274C22 = C5xQ8:5D4 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).274C2^2 | 320,1550 |
(Q8xC10).275C22 = C5xD4xQ8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).275C2^2 | 320,1551 |
(Q8xC10).276C22 = C5xC22.46C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).276C2^2 | 320,1554 |
(Q8xC10).277C22 = C5xC22.50C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).277C2^2 | 320,1558 |
(Q8xC10).278C22 = C5xQ8:3Q8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).278C2^2 | 320,1559 |
(Q8xC10).279C22 = C5xC22.53C24 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).279C2^2 | 320,1561 |
(Q8xC10).280C22 = Q16xC2xC10 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 320 | | (Q8xC10).280C2^2 | 320,1573 |
(Q8xC10).281C22 = C10xC4oD8 | φ: C22/C2 → C2 ⊆ Out Q8xC10 | 160 | | (Q8xC10).281C2^2 | 320,1574 |
(Q8xC10).282C22 = Q8xC2xC20 | φ: trivial image | 320 | | (Q8xC10).282C2^2 | 320,1518 |
(Q8xC10).283C22 = C4oD4xC20 | φ: trivial image | 160 | | (Q8xC10).283C2^2 | 320,1519 |
(Q8xC10).284C22 = C5xC23.32C23 | φ: trivial image | 160 | | (Q8xC10).284C2^2 | 320,1521 |
(Q8xC10).285C22 = C5xC23.33C23 | φ: trivial image | 160 | | (Q8xC10).285C2^2 | 320,1522 |
(Q8xC10).286C22 = C5xQ8:6D4 | φ: trivial image | 160 | | (Q8xC10).286C2^2 | 320,1552 |